pred(${\it pred?}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$outl(${\it pred?}$($e$))